More from this Author

Verification, Model Checking, and Abstract Interpretation

by Lenore D. Zuck (Editor), Paul D. Attie (Editor), Agostino Cortesi (Editor)